Enter a word or phrase in any language 👆
Language:
Translation and analysis of words by ChatGPT artificial intelligence
On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
- how the word is used
- frequency of use
- it is used more often in oral or written speech
- word translation options
- usage examples (several phrases with translation)
- etymology
What (who) is Sequent - definition
CONDITIONAL ASSERTION THAT IF ALL OF THE ANTECEDENT CONDITIONS ARE TRUE, THEN AT LEAST ONE OF THE CONSEQUENT FORMULAS IS TRUE
Sequent (in logic); Sequents
Sequent
<company> A computer manufacturer.
Quarterly sales $109M, profits $7M (Aug 1994).
Sequent computers was acquired by IBM in 1999.
[History? ]
(2003-10-21)
Sequent
·noun A Follower.
II. Sequent ·adj Following as an effect; consequent.
III. Sequent ·adj Following; succeeding; in continuance.
IV. Sequent ·noun That which follows as a result; a sequence.
sequent
¦ adjective archaic following in a sequence or as a logical conclusion.
Derivatives
sequently adverb
Wikipedia
Sequent
In mathematical logic, a sequent is a very general kind of conditional assertion.
A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.
Examples of use of Sequent
1. The UN Secretary General should not consider what happened to the Sudanese refugees in Egypt as a mere security incident, because what happened to the Sudanese in Cairo on the New Year eve will have great impact on the future relationship between the UN system and the current and sub–sequent governments of Southern Sudan.